poss{-}consistent($i$;$T$;$s$;${\it ev}$;$R$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$pe{-}loc(${\it ev}$) $=$ $i$ $\in$ Id \& es{-}state(pe{-}es(${\it ev}$);$i$) $\subseteq\rho$ $T$ \& $R$($s$,pe{-}state(${\it ev}$))